Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

نویسندگان

چکیده

Angell’s logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC Ferguson, and 16-valued Fine. It is that the former image surjective homomorphism from latter, i.e., an epimorphic image. Some candidate 7-valued matrices are ruled out as characteristic AC. Whether with fewer than 9 values exist remains open question. The results were obtained help MUltlog system for investigating finite-valued logics; serve example usefulness techniques computational algebra in logic. A tableau proof also provided. .

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the subgraph epimorphism problem

In this paper we study the problem of deciding the existence of a subgraph epimorphism between two graphs. Our interest in this variant of graph matching problem stems from the study of model reductions in systems biology, where large systems of biochemical reactions can be naturally represented by bipartite digraphs of species and reactions. In this setting, model reduction can be formalized a...

متن کامل

Some Stability Properties of Epimorphism Classes

It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms. Here “balanced” can be omitted if the category is additive. A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobj...

متن کامل

E-Clean Matrices and Unit-Regular Matrices

Let $a, b, k,in K$ and $u, v in U(K)$. We show for any idempotent $ein K$, $(a 0|b 0)$ is e-clean iff $(a 0|u(vb + ka) 0)$ is e-clean and if $(a 0|b 0)$ is 0-clean, $(ua 0|u(vb + ka) 0)$ is too.

متن کامل

Information Covariance Matrices for Multivariate Burr III and Logistic Distributions

Main result of this paper is to derive the exact analytical expressions of information and covariance matrices for multivariate Burr III and logistic distributions. These distributions arise as tractable parametric models in price and income distributions, reliability, economics, Human population, some biological organisms to model agricultural population data and survival data. We showed that ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logic and Logical Philosophy

سال: 2022

ISSN: ['1425-3305', '2300-9802']

DOI: https://doi.org/10.12775/llp.2022.025